Concurrent programming languages

Results: 336



#Item
61Software engineering / Computing / Programming language theory / Type theory / Concurrent programming languages / Program analysis / Type system / Go / Sheaf / Orbifold / CurryHoward correspondence

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2015-01-21 15:14:28
62Software engineering / Computing / Computer programming / Cross-platform software / Concurrent programming languages / Object-oriented programming languages / Procedural programming languages / Functional languages / Haskell / Java / Go / D

Project No : FP7Project Acronym:

Add to Reading List

Source URL: envisage-project.eu

Language: English - Date: 2015-10-04 09:25:43
63Computing / Software engineering / Software / Java platform / Cross-platform software / Formal methods / ESC/Java / Concurrent programming languages / Java Modeling Language / Extended static checking / Java / Java version history

Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-24 19:03:54
64Computer programming / Software engineering / Computing / C++ / Concurrent programming languages / Parallel computing / Theoretical computer science / Application programming interfaces / Algorithmic skeleton / Recursion / Divide and conquer algorithms / Algorithm

A Generic Algorithm Template for Divide-and-conquer in Multicore Systems Carlos H. Gonz´alez and Basilio B. Fraguela Depto. de Electr´onica e Sistemas Universidade da Coru˜na A Coru˜na, Spain {cgonzalezv, basilio.fra

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2010-07-05 09:09:38
65Software engineering / Computing / Computer programming / Boolean algebra / Data types / Concurrent programming languages / Object-oriented programming languages / Boolean data type / Boolean expression / ALGOL 68 / Java / Const

Piazza  Stats • • •

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2015-10-06 14:56:29
66Computing / Algebra / Computer programming / Parallel computing / Multiplication / Concurrent programming languages / Numerical linear algebra / Cilk / Matrix / Array programming / OpenMP / Array data structure

Superscalar programming 101 _parts 1-5_

Add to Reading List

Source URL: www.quickthreadprogramming.com

Language: English - Date: 2012-05-03 14:20:39
67Computing / Software engineering / Computer programming / Concurrent programming languages / Parallel computing / Procedural programming languages / Programming paradigms / Fortran / Parallel programming model / Thread / XC / Go

Lecture 21: Parallel Programming Models for Scientific Computing William Gropp www.cs.illinois.edu/~wgropp

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-02-24 19:05:06
68Software engineering / Computing / Computer programming / Subroutines / Data types / Concurrent programming languages / Object-oriented programming languages / C++ / Const / C++ classes / Java / Method

Reminder:  Lecture  slides ● Lecture   slides  are  posted   online   and  are  available   before   class

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2015-09-17 13:39:00
69Software engineering / Computing / Software / Concurrent programming languages / Functional languages / Object-oriented programming languages / Scripting languages / Scala / Source code / Macro / Martin Odersky / SYNTAX

State of the Meta, Summer 2015 Eugene Burmako (@xeno by) ´ Ecole Polytechnique F´ ed´

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
70Software / Computing / Parallel computing / Programming paradigms / Cross-platform software / Concurrent programming languages / Object-oriented programming languages / Domain-specific language / Data-intensive computing / Programming language / Scripting language / Abstraction

Research Agenda for High Productivity Language Systems 1

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2005-04-19 11:40:24
UPDATE